
function dir(obj)
{
    // Debug function showing all attributes and methods of an object.
    // Like Python's dir() function
    out = '';
    for (attr in obj) {
        out+=attr+', ';
    }
    return out;
}

function jumpto(url) {
    // Redirect to url
    document.location.href=url;
}



